Compare values with runtime representation

This commit is contained in:
Ayaz Hafiz 2022-08-14 15:43:26 -05:00
parent b18af7e1f3
commit 0606086eb6
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 15 additions and 4 deletions

View file

@ -1825,6 +1825,13 @@ impl<'a> Layout<'a> {
}
}
}
pub fn runtime_representation(&self) -> Self {
match self {
Layout::LambdaSet(lambda_set) => lambda_set.runtime_representation(),
other => *other,
}
}
}
/// Avoid recomputing Layout from Variable multiple times.