diff options
| author | lcnr <rust@lcnr.de> | 2025-04-25 17:59:33 +0000 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-04-25 17:59:33 +0000 |
| commit | 009db53e49923ced9f7b0dcbc58da47afb031177 (patch) | |
| tree | fccab5f0dc2cf179d081bae82cb0d3af4ee04b29 /compiler/rustc_middle/src | |
| parent | 8f43b85954d2f3d8fc00a7504c603e5ca9eb0695 (diff) | |
| download | rust-009db53e49923ced9f7b0dcbc58da47afb031177.tar.gz rust-009db53e49923ced9f7b0dcbc58da47afb031177.zip | |
handle specialization in the new trait solver
uwu :3
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/context.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/context.rs b/compiler/rustc_middle/src/ty/context.rs index 98057a25f04..e8dad1e056c 100644 --- a/compiler/rustc_middle/src/ty/context.rs +++ b/compiler/rustc_middle/src/ty/context.rs @@ -590,6 +590,10 @@ impl<'tcx> Interner for TyCtxt<'tcx> { self.defaultness(def_id).has_value() } + fn impl_specializes(self, impl_def_id: Self::DefId, victim_def_id: Self::DefId) -> bool { + self.specializes((impl_def_id, victim_def_id)) + } + fn impl_is_default(self, impl_def_id: DefId) -> bool { self.defaultness(impl_def_id).is_default() } |