Adding some properties causes linter to give me 260 errors across my files.

[koeqaife]

I wish there was a good issue template, but seems like no.

So I will try to include everything I have discovered and everything I think may be useful.

Types I use:
Types.zip

Had to put them in .zip because github doesn't let to upload .lua or .luau files

It causes errors in every single file that imports Widget.luau so I don't think I have to include files unless it's gonna be impossible to reproduce the error.

All the errors:
errors.txt

It just put error on every single thing and I had my 2 whole files red.

And I noticed that error disappears if I remove these two lines from Widget.Interface type:

    setModifier: <K>(name: K & keyof<Modifier.Modifiers>, params: index<Modifier.Modifiers, K>) -> (),
    getModifier: <K>(name: K & keyof<Modifier.Components>) -> index<Modifier.Components, K>,

Also removing these 4 lines from Modifier.Component makes errors disappear too:

    read setProperty: <K>(key: K & KeyOf<Props>, value: NonNil<Resolve<Props, K>> | Ref.Instance<NonNil<Resolve<Props, K>>>) -> (),
    read snapProperty: <K>(key: K & KeyOf<Props>, value: NonNil<Resolve<Props, K>> | Ref.Instance<NonNil<Resolve<Props, K>>>) -> (),
    read getProperty: <K>(key: K & KeyOf<Props>) -> NonNil<Resolve<Props, K>>,
    read observe: <K>(key: K & KeyOf<Props>, callback: (newValue: NonNil<Resolve<Props, K>>) -> ()) -> (() -> ()),

Even one line of any produces errors.

Any of these is very important to me and putting type any would make a lot of stuff useless.

Also note: I have tried removing any type function and using keyof and index instead of KeyOf and Resolve functions, so problem is not in functions. And I use these two because keyof and index work poorly with my types and I have to do "property" :: "property" to get singletones.

[tommyscholly]

Instead of uploading a .zip, could you paste the script(s) into a gist? That way no one needs to download anything.

[koeqaife]

Instead of uploading a .zip, could you paste the script(s) into a gist? That way no one needs to download anything.

Yes sure
https://gist.github.com/koeqaife/1fd4a6ba54a92d4b46e24b273e082e09

[koeqaife]

Also noticed that if I put getModifier: <K>(name: K & keyof<Modifier.Components>) -> any instead of getModifier: <K>(name: K & keyof<Modifier.Components>) -> index<Modifier.Components, K> errors disappear too, so now it's only one line that makes it error.

[hgoldstein]

Would you be able to include the Ref module? That seems important to the specific issue you're running into.

[koeqaife]

Would you be able to include the Ref module? That seems important to the specific issue you're running into.

Yess, though I worked a lot on code today so I will better provide new gist link to not provide outdated files (I have moved Ref types out of the module to Utils.luau today), it still gives errors.

https://gist.github.com/koeqaife/412d83a9d82dcbc24cf47dfe5c5e9583

[koeqaife]

Any update on this?

[aatxe]

Any update on this?

We do not work on the weekends, nor on federal holidays in the US. We appreciate the report and the reproduction, and we'll work on this when someone gets the chance.