diff options
| author | Arthur Cohen <arthur.cohen@embecosm.com> | 2022-07-05 18:53:05 +0200 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2022-07-18 17:24:13 +0200 |
| commit | d82201be88ce09c92db709573171c869d94b55fd (patch) | |
| tree | fc9fb4feb468bbbbca8265420e2b2f67ef1fe5be /gcc/rust/parse/rust-parse.h | |
| parent | 6920d2294b3c6f106478fd3decaa511faf3cac84 (diff) | |
| download | gcc-d82201be88ce09c92db709573171c869d94b55fd.zip gcc-d82201be88ce09c92db709573171c869d94b55fd.tar.gz gcc-d82201be88ce09c92db709573171c869d94b55fd.tar.bz2 | |
resolver: Disambiguate generic args
This removes all the hacks previously introduced to resolve ambiguous
generic args as types, and adds proper disambiguation.
The algorithm is as follows:
is that name referring to a type?
-> disambiguate to a type
is that name referring to a value?
-> disambiguate to a const value
else
-> disambiguate to type
Since types are the default expected behavior, this allows us to report
type errors properly during typechecking.
Diffstat (limited to 'gcc/rust/parse/rust-parse.h')
0 files changed, 0 insertions, 0 deletions