Do not use const fx vars when canonicalizing annotations

This commit is contained in:
Agus Zubiaga 2024-10-08 21:32:05 -03:00
parent 7776883262
commit b9b85a222f
No known key found for this signature in database
4 changed files with 65 additions and 20 deletions

View file

@ -752,6 +752,16 @@ pub(crate) fn type_to_var_help(
env.register_with_known_var(destination, rank, content)
}
Pure => {
let content = Content::Pure;
env.register_with_known_var(destination, rank, content)
}
Effectful => {
let content = Content::Effectful;
env.register_with_known_var(destination, rank, content)
}
Error => {
let content = Content::Error;