diff options
| author | Florian Diebold <[email protected]> | 2019-12-15 17:56:38 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-12-15 17:56:38 +0000 |
| commit | 6e1c2d0df89a390be33c81b6e03a5ad352763593 (patch) | |
| tree | f3ba344e185e17e6e62ce650462fd63af9eddd26 /crates/ra_hir_ty/src/infer/coerce.rs | |
| parent | ac961b261458bfeb23f7d4e896d5f957b0854a3a (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_hir_ty/src/infer/coerce.rs')
0 files changed, 0 insertions, 0 deletions