diff options
| author | Michael Goulet <michael@errs.io> | 2024-06-17 17:59:08 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-06-18 10:55:34 -0400 |
| commit | 532149eb88e6d1d69d883727a216c22839cdf6cc (patch) | |
| tree | 3aca210ef22ddec18a40a0b040e40efdf1582233 /compiler/rustc_middle/src/ty/generics.rs | |
| parent | baf94bddf0503bb97376534d10883dbf678bfc6a (diff) | |
| download | rust-532149eb88e6d1d69d883727a216c22839cdf6cc.tar.gz rust-532149eb88e6d1d69d883727a216c22839cdf6cc.zip | |
Uplift the new trait solver
Diffstat (limited to 'compiler/rustc_middle/src/ty/generics.rs')
| -rw-r--r-- | compiler/rustc_middle/src/ty/generics.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/generics.rs b/compiler/rustc_middle/src/ty/generics.rs index 185dbe44735..6467689a8aa 100644 --- a/compiler/rustc_middle/src/ty/generics.rs +++ b/compiler/rustc_middle/src/ty/generics.rs @@ -392,6 +392,10 @@ impl<'tcx> GenericPredicates<'tcx> { EarlyBinder::bind(self.predicates).iter_instantiated_copied(tcx, args) } + pub fn instantiate_own_identity(&self) -> impl Iterator<Item = (Clause<'tcx>, Span)> { + EarlyBinder::bind(self.predicates).instantiate_identity_iter_copied() + } + #[instrument(level = "debug", skip(self, tcx))] fn instantiate_into( &self, |