diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-09 17:08:23 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-09 17:08:23 +0000 |
| commit | 928d4c6744d4b06bb1d67ea9b967c27342eea38c (patch) | |
| tree | aef234a140c8cf799e6b735825b806428373ad17 /docs/user | |
| parent | 243ba330dd962f2d65cf1c8321e5e7d8ba01f03a (diff) | |
| parent | dedd88857045838265f89788aeaf610e07c77661 (diff) | |
Merge #6786
6786: Implement HirDisplay for FnSig r=jonas-schievink a=jonas-schievink
This could be useful for diagnostics, but isn't used right now
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions