Delete unused branch (it never got hit on CI)

This commit is contained in:
Richard Feldman 2022-12-30 22:40:45 -05:00
parent 1d2b095814
commit 879b957676
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -341,9 +341,6 @@ pub fn canonicalize_module_defs<'a>(
panic!("TODO gracefully handle shadowing in imports.")
}
}
} else if [Symbol::LIST_LIST, Symbol::STR_STR, Symbol::BOX_BOX_TYPE].contains(&symbol) {
unreachable!("This branch seems unreachable and should probably be deleted.");
// These are not aliases but Apply's and we make sure they are always in scope
} else {
// This is a type alias or ability