This commit is contained in:
Ayaz Hafiz 2023-03-25 17:06:41 -05:00
parent 93dc3714de
commit 5e950134c3
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -150,7 +150,7 @@ impl<'r, 'a> Iterator for PatternBindingIter<'r, 'a> {
} }
Underscore => None, Underscore => None,
As(pat, symbol) => { As(pat, symbol) => {
*self = One(&**pat, layout); *self = One(pat, layout);
(*symbol, layout).into() (*symbol, layout).into()
} }
RecordDestructure(destructs, _) => { RecordDestructure(destructs, _) => {