bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/infer/context.rs')
-rw-r--r--crates/hir-ty/src/next_solver/infer/context.rs9
1 files changed, 9 insertions, 0 deletions
diff --git a/crates/hir-ty/src/next_solver/infer/context.rs b/crates/hir-ty/src/next_solver/infer/context.rs
index 45ce7e6f6c..5aa5ad14af 100644
--- a/crates/hir-ty/src/next_solver/infer/context.rs
+++ b/crates/hir-ty/src/next_solver/infer/context.rs
@@ -321,4 +321,13 @@ impl<'db> rustc_type_ir::InferCtxtLike for InferCtxt<'db> {
fn sub_unify_ty_vids_raw(&self, a: rustc_type_ir::TyVid, b: rustc_type_ir::TyVid) {
self.sub_unify_ty_vids_raw(a, b);
}
+
+ fn opaques_with_sub_unified_hidden_type(
+ &self,
+ _ty: TyVid,
+ ) -> Vec<rustc_type_ir::AliasTy<Self::Interner>> {
+ // FIXME: I guess we are okay without this for now since currently r-a lacks of
+ // detailed checks over opaque types. Might need to implement this in future.
+ vec![]
+ }
}