diff options
| author | Michael Goulet <michael@errs.io> | 2023-04-09 00:09:53 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-04-10 16:08:14 +0000 |
| commit | d92f74e43b76a7ec37d2ef7dfe6d930331ff5157 (patch) | |
| tree | 026a365fac7dbb58f0f2ed0b4f0751837aaa0688 /compiler/rustc_middle/src/ty | |
| parent | 2a198c7f62a6dea507ba950750bc928237ad7a00 (diff) | |
| download | rust-d92f74e43b76a7ec37d2ef7dfe6d930331ff5157.tar.gz rust-d92f74e43b76a7ec37d2ef7dfe6d930331ff5157.zip | |
Support safe transmute in new solver
Diffstat (limited to 'compiler/rustc_middle/src/ty')
| -rw-r--r-- | compiler/rustc_middle/src/ty/visit.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/visit.rs b/compiler/rustc_middle/src/ty/visit.rs index 6814cadb9a8..08a62c900f9 100644 --- a/compiler/rustc_middle/src/ty/visit.rs +++ b/compiler/rustc_middle/src/ty/visit.rs @@ -83,6 +83,9 @@ pub trait TypeVisitableExt<'tcx>: TypeVisitable<TyCtxt<'tcx>> { | TypeFlags::HAS_CT_PLACEHOLDER, ) } + fn has_non_region_placeholders(&self) -> bool { + self.has_type_flags(TypeFlags::HAS_TY_PLACEHOLDER | TypeFlags::HAS_CT_PLACEHOLDER) + } fn needs_subst(&self) -> bool { self.has_type_flags(TypeFlags::NEEDS_SUBST) } |