aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_syntax/test_data/parser/err
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2019-12-15 17:56:38 +0000
committerFlorian Diebold <[email protected]>2019-12-15 17:56:38 +0000
commit6e1c2d0df89a390be33c81b6e03a5ad352763593 (patch)
treef3ba344e185e17e6e62ce650462fd63af9eddd26 /crates/ra_syntax/test_data/parser/err
parentac961b261458bfeb23f7d4e896d5f957b0854a3a (diff)
Handle impl Trait more correctly
When calling a function, argument-position impl Trait is transparent; same for return-position impl Trait when inside the function. So in these cases, we need to represent that type not by `Ty::Opaque`, but by a type variable that can be unified with whatever flows into there.
Diffstat (limited to 'crates/ra_syntax/test_data/parser/err')
0 files changed, 0 insertions, 0 deletions