fix: interface instances can be required concretely#832

Merged

hishamhm merged 5 commits intomasterfrom fix-825

Oct 23, 2024

+305-149

Commits on Oct 17, 2024

improved error message for require() returning interface
hishamhm
committed

Commits on Oct 18, 2024

Commits on Oct 21, 2024

improve error message when 'local type' is needed
hishamhm
committed