language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-02 16:21:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Chase aliases when checking for valid extension types

Browse source
This commit is contained in:
ayazhafiz 2022-03-06 22:15:02 -05:00
parent aae5a46034
commit 47e4904075
4 changed files with 37 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/can/src/annotation.rs
View file

@ -682,7 +682,7 @@ fn can_extension_type<'a>(
local_aliases,
references,
);
if valid_extension_type(&ext_type) {
if valid_extension_type(&ext_type.shallow_dealias()) {
ext_type
} else {
// Report an error but mark the extension variable to be inferred