diff options
| author | tiif <pekyuan@gmail.com> | 2025-07-14 13:38:19 +0000 |
|---|---|---|
| committer | tiif <pekyuan@gmail.com> | 2025-07-15 13:48:30 +0000 |
| commit | 7356ff7517f4d95583f8fd6d631441893c87dd3f (patch) | |
| tree | 113b85abcc797328526ba9a84c1cce7f3158df75 /compiler/rustc_trait_selection/src/traits/wf.rs | |
| parent | dd067a689a05e50b80206536de22a2400277a7f8 (diff) | |
| download | rust-7356ff7517f4d95583f8fd6d631441893c87dd3f.tar.gz rust-7356ff7517f4d95583f8fd6d631441893c87dd3f.zip | |
Implement other logics
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/wf.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/wf.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/wf.rs b/compiler/rustc_trait_selection/src/traits/wf.rs index fed9f254cdf..adce9850b59 100644 --- a/compiler/rustc_trait_selection/src/traits/wf.rs +++ b/compiler/rustc_trait_selection/src/traits/wf.rs @@ -197,6 +197,7 @@ pub fn clause_obligations<'tcx>( ty::ClauseKind::ConstEvaluatable(ct) => { wf.add_wf_preds_for_term(ct.into()); } + ty::ClauseKind::UnstableFeature(_) => {} } wf.normalize(infcx) @@ -1095,6 +1096,7 @@ pub fn object_region_bounds<'tcx>( | ty::ClauseKind::Projection(_) | ty::ClauseKind::ConstArgHasType(_, _) | ty::ClauseKind::WellFormed(_) + | ty::ClauseKind::UnstableFeature(_) | ty::ClauseKind::ConstEvaluatable(_) => None, } }) |