Merge branch 'main' into Frame-Limited

This commit is contained in:
J.Teeuwissen 2023-03-31 20:46:39 +02:00
commit 7759ce6fc4
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD
31 changed files with 476 additions and 418 deletions

View file

@ -761,7 +761,7 @@ impl<'a> BorrowInfState<'a> {
Call(call) => self.collect_call(interner, param_map, z, call),
Literal(_) | RuntimeErrorFunction(_) => {}
Literal(_) | NullPointer | RuntimeErrorFunction(_) => {}
StructAtIndex { structure: x, .. } => {
// if the structure (record/tag/array) is owned, the extracted value is