diff options
| author | Michael Goulet <michael@errs.io> | 2024-06-13 09:47:42 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-06-13 09:47:45 -0400 |
| commit | c8e42065f0f1d1a5cdb29c4279b1f2c25bc8737b (patch) | |
| tree | 6369a76c1bee678d594102bac3cda018ff94b42b /compiler/rustc_middle/src/ty/predicate.rs | |
| parent | a2fb2ebc177cc4fa5933e72f3a81791e9b0b0083 (diff) | |
| download | rust-c8e42065f0f1d1a5cdb29c4279b1f2c25bc8737b.tar.gz rust-c8e42065f0f1d1a5cdb29c4279b1f2c25bc8737b.zip | |
Address nits
- Remove the ValuePairs glob import - Make DummyPairs -> ValuePairs::Dummy and make it bug more - Fix WC - Make interner return `impl IntoIterator`s
Diffstat (limited to 'compiler/rustc_middle/src/ty/predicate.rs')
| -rw-r--r-- | compiler/rustc_middle/src/ty/predicate.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/predicate.rs b/compiler/rustc_middle/src/ty/predicate.rs index 0f63490ea01..ae36f2624ca 100644 --- a/compiler/rustc_middle/src/ty/predicate.rs +++ b/compiler/rustc_middle/src/ty/predicate.rs @@ -49,6 +49,10 @@ impl<'tcx> rustc_type_ir::inherent::Predicate<TyCtxt<'tcx>> for Predicate<'tcx> fn is_coinductive(self, interner: TyCtxt<'tcx>) -> bool { self.is_coinductive(interner) } + + fn allow_normalization(self) -> bool { + self.allow_normalization() + } } impl<'tcx> rustc_type_ir::inherent::IntoKind for Predicate<'tcx> { |