diff options
| author | Michael Goulet <michael@errs.io> | 2024-10-29 17:51:38 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-11-19 21:22:17 +0000 |
| commit | def7ed08e7b27288bc861384ec166ebc5a419abc (patch) | |
| tree | de9e87a6860ab9e74d32f66ff0cb6ec868c1f236 /compiler/rustc_middle/src | |
| parent | 89b688552994bd8404b8fdab2cf96f00632af0ff (diff) | |
| download | rust-def7ed08e7b27288bc861384ec166ebc5a419abc.tar.gz rust-def7ed08e7b27288bc861384ec166ebc5a419abc.zip | |
Implement ~const Fn trait goals in the new solver
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/context.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/ty/context.rs b/compiler/rustc_middle/src/ty/context.rs index 2ba1bf2822f..77a40762903 100644 --- a/compiler/rustc_middle/src/ty/context.rs +++ b/compiler/rustc_middle/src/ty/context.rs @@ -374,7 +374,11 @@ impl<'tcx> Interner for TyCtxt<'tcx> { self.explicit_implied_predicates_of(def_id).map_bound(|preds| preds.into_iter().copied()) } - fn is_const_impl(self, def_id: DefId) -> bool { + fn impl_is_const(self, def_id: DefId) -> bool { + self.is_conditionally_const(def_id) + } + + fn fn_is_const(self, def_id: DefId) -> bool { self.is_conditionally_const(def_id) } |