Implement other logics

tiif · tiif · commit f2a6cb6740cc · 2025-07-15T13:48:30.000Z
diff --git a/src/unstable/convert/stable/ty.rs b/src/unstable/convert/stable/ty.rs
@@ -764,6 +764,9 @@ impl<'tcx> Stable<'tcx> for ty::ClauseKind<'tcx> {
             ClauseKind::HostEffect(..) => {
                 todo!()
             }
+            ClauseKind::UnstableFeature(_) => {
+                todo!()
+            }
         }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -764,6 +764,9 @@ impl<'tcx> Stable<'tcx> for ty::ClauseKind<'tcx> {`
`764`	`764`	`ClauseKind::HostEffect(..) => {`
`765`	`765`	`todo!()`
`766`	`766`	`}`
	`767`	`+ ClauseKind::UnstableFeature(_) => {`
	`768`	`+ todo!()`
	`769`	`+ }`
`767`	`770`	`}`
`768`	`771`	`}`
`769`	`772`	`}`