diff options
| author | lcnr <rust@lcnr.de> | 2025-04-26 01:54:09 +0000 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-04-26 02:05:31 +0000 |
| commit | 855035b03860b00b6f8239e31beec0d3cb882db6 (patch) | |
| tree | 043abebe24437559bcc9ca5e931bb8113451ada4 /compiler/rustc_smir/src | |
| parent | e3e432d4d65a55e6db167598e96db2bcb163e316 (diff) | |
convert some `GenericArg` to `Term`
Diffstat (limited to 'compiler/rustc_smir/src')
| -rw-r--r-- | compiler/rustc_smir/src/rustc_smir/convert/ty.rs | 4 | ||||
| -rw-r--r-- | compiler/rustc_smir/src/stable_mir/ty.rs | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_smir/src/rustc_smir/convert/ty.rs b/compiler/rustc_smir/src/rustc_smir/convert/ty.rs index a757329bcf2..c0ed3b90eb4 100644 --- a/compiler/rustc_smir/src/rustc_smir/convert/ty.rs +++ b/compiler/rustc_smir/src/rustc_smir/convert/ty.rs @@ -638,8 +638,8 @@ impl<'tcx> Stable<'tcx> for ty::ClauseKind<'tcx> { const_.stable(tables), ty.stable(tables), ), - ClauseKind::WellFormed(generic_arg) => { - stable_mir::ty::ClauseKind::WellFormed(generic_arg.unpack().stable(tables)) + ClauseKind::WellFormed(term) => { + stable_mir::ty::ClauseKind::WellFormed(term.unpack().stable(tables)) } ClauseKind::ConstEvaluatable(const_) => { stable_mir::ty::ClauseKind::ConstEvaluatable(const_.stable(tables)) diff --git a/compiler/rustc_smir/src/stable_mir/ty.rs b/compiler/rustc_smir/src/stable_mir/ty.rs index 4b153007bd8..0ac9a0fb647 100644 --- a/compiler/rustc_smir/src/stable_mir/ty.rs +++ b/compiler/rustc_smir/src/stable_mir/ty.rs @@ -1462,7 +1462,7 @@ pub enum ClauseKind { TypeOutlives(TypeOutlivesPredicate), Projection(ProjectionPredicate), ConstArgHasType(TyConst, Ty), - WellFormed(GenericArgKind), + WellFormed(TermKind), ConstEvaluatable(TyConst), } |