This commit is contained in:
Folkert 2023-06-18 17:00:31 +02:00
parent 0247237fe8
commit 9c85fb90d3
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
44 changed files with 2585 additions and 2505 deletions

View file

@ -2792,7 +2792,11 @@ impl<'a> LayoutRepr<'a> {
.contains_refcounted(interner),
RecursivePointer(_) => true,
Boxed(_) => true,
Ptr(inner) => interner.get_repr(*inner).contains_refcounted(interner),
Ptr(_) => {
// we never consider pointers for refcounting. Ptr is not user-facing. The compiler
// author must make sure that invariants are upheld
false
}
}
}