Florian Diebold 6e1c2d0df8 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.

2019-12-15 18:56:38 +01:00

..

src

Handle impl Trait more correctly

2019-12-15 18:56:38 +01:00

Cargo.toml

chore: bump deps and use mainline chalk

2019-12-09 22:35:47 +02:00