RefinedType unsupported? Getting Internal error in extracting SemanticDB while compiling ...

[soronpo]

Describe the bug

I'm getting many error like this in the output log:

Internal error in extracting SemanticDB while compiling C:\Users\oronpo\IdeaProjects\dfhdl\lib\src\test\scala\issues\i116.scala: Ignoring b of symbol class DFVal, type RefinedType(RefinedType(AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),DFVal),List(AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),DFType),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class compiler)),object ir),DFStruct), AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),Args1),List(TypeRef(ThisType(TypeRef(NoPrefix,module class i116)),class Test))))), AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),Modifier),List(AndType(TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class i116)),class GlobCounter)),type TScope),TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class i116)),class GlobCounter)),type TDomain)), TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),Any), TypeRef(ThisType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),module class Modifier$)),trait Initializable), TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),Any))))),a,AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),DFVal),List(AppliedType(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object internals),helpers$package),<:!),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object hdl$package),type Bit), TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),DFType$package),DFTypeAny))), AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),Modifier),List(AndType(TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class i116)),class GlobCounter)),type TScope),TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class i116)),class GlobCounter)),type TDomain)), TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),Any), TypeRef(ThisType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),module class Modifier$)),trait Initializable), TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),Any)))))),b,AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),DFVal),List(AppliedType(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object internals),helpers$package),<:!),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object hdl$package),type Bit), TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),DFType$package),DFTypeAny))), AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),Modifier),List(AndType(TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class i116)),class GlobCounter)),type TScope),TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class i116)),class GlobCounter)),type TDomain)), TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),Any), TypeRef(ThisType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class dfhdl)),object core),module class Modifier$)),trait Initializable), TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),Any))))))

Expected behavior

No errors.

Operating system

Windows

Editor/Extension

VS Code

Version of Metals

v1.3.5

Extra context or search terms

No response

[tgodzik]

Thanks for reporting! This looks like it's coming from the compiler, are you able to provide a code snippet that causes it?

[soronpo]

For this sort of bug, is it crucial for it to be minimized? Or can it use an external library?

[tgodzik]

I think it can use an external library, we can work further on minimizing it later.