Unnecessary return

This commit is contained in:
Ayaz Hafiz 2023-04-10 16:36:45 -05:00
parent 8e093abaf5
commit e5b619780c
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -3379,9 +3379,8 @@ fn instantiate_rigids(
if !rigid_substitution.is_empty() {
annotation.substitute_variables(&rigid_substitution);
}
let annotation_index = types.from_old_type(&annotation);
annotation_index
types.from_old_type(&annotation)
};
let signature = generate_fresh_ann(types);