Add support for inherent projections

2023-07-04 18:28:10 +00:00
parent c4083faade
commit 085ae9e8b4
6 changed files with 48 additions and 3 deletions
--- a/compiler/rustc_trait_selection/src/solve/project_goals.rs
+++ b/compiler/rustc_trait_selection/src/solve/project_goals.rs
@@ -48,7 +48,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
                            self.merge_candidates(candidates)
                        }
                        ty::AssocItemContainer::ImplContainer => {
-                            bug!("IATs not supported here yet")
+                            self.normalize_inherent_associated_type(goal)
                        }
                    }
                } else {