aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_syntax/test_data/parser/fuzz-failures/0001.rs
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2019-12-15 20:08:12 +0000
committerGitHub <[email protected]>2019-12-15 20:08:12 +0000
commit0ef8ace012b19b76ee99b283801d0d17a3b72b4b (patch)
tree911458abbefcddd06e131c410bd1e1710e77ca95 /crates/ra_syntax/test_data/parser/fuzz-failures/0001.rs
parent4e24b25c669965cf6a68c4b8e775cc83615d978a (diff)
parent91853590a9ee78406e892ca92305edef3a5b9213 (diff)
Merge #2567
2567: Handle impl Trait more correctly r=flodiebold a=flodiebold 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. Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_syntax/test_data/parser/fuzz-failures/0001.rs')
0 files changed, 0 insertions, 0 deletions