diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-08-20 06:50:43 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-20 06:50:43 +0000 |
| commit | f77b81e0eec2fa9053911d84f02b9a78b84486ec (patch) | |
| tree | c39efb7e0259faef3f9ca03ac87b9d525c1e6093 /examples/generics.rs | |
| parent | 3bf5a4f7a06fdb5d341d900c3e937d4c9afd2dda (diff) | |
| parent | cdbd8a2cede668e1181030bd7c439592a8f0e980 (diff) | |
Merge #515
515: `mark_internal_ident` cleanup r=korken89 a=datdenkikniet
Refactor so that all `idents` that had to call `mark_ident_internal` before now call `mark_name_internal` in the `util` module by default.
The commits can (and probably should) be squashed, they're separated for clarity.
Fixes #512
Co-authored-by: datdenkikniet <jcdra1@gmail.com>
Diffstat (limited to 'examples/generics.rs')
0 files changed, 0 insertions, 0 deletions