Rename unpack to kind

This commit is contained in:
Michael Goulet
2025-05-24 12:07:32 +00:00
parent d76fe15402
commit 29c3babd7c
80 changed files with 165 additions and 165 deletions

View File

@@ -39,7 +39,7 @@ impl<'tcx> At<'_, 'tcx> {
return Ok(term);
}
let new_infer = match term.unpack() {
let new_infer = match term.kind() {
ty::TermKind::Ty(_) => self.infcx.next_ty_var(self.cause.span).into(),
ty::TermKind::Const(_) => self.infcx.next_const_var(self.cause.span).into(),
};