Fix wrong handling of bare `dyn Trait` exposed by canonicalizer fix

The self type in the `dyn Trait` trait ref should always be ^0, but we didn't
put that in there in the bare case.

1 files changed, 3 insertions, 1 deletions

diff --git a/crates/ra_hir_ty/src/lower.rs b/crates/ra_hir_ty/src/lower.rs
index 52da34574..0e6efa971 100644
--- a/crates/ra_hir_ty/src/lower.rs
+++ b/crates/ra_hir_ty/src/lower.rs
@@ -239,7 +239,9 @@ impl Ty {
     ) -> Ty {
         let ty = match resolution {
             TypeNs::TraitId(trait_) => {
-                let trait_ref = TraitRef::from_resolved_path(ctx, trait_, resolved_segment, None);
+                // if this is a bare dyn Trait, we'll directly put the required ^0 for the self type in there
+                let self_ty = if remaining_segments.len() == 0 { Some(Ty::Bound(0)) } else { None };
+                let trait_ref = TraitRef::from_resolved_path(ctx, trait_, resolved_segment, self_ty);
                 return if remaining_segments.len() == 1 {
                     let segment = remaining_segments.first().unwrap();
                     let associated_ty = associated_type_by_name_including_super_traits(