Modules referenced to through ObjectValues are not typed correctly by require

[metatablecatmaid (metatablecat)]

Reproduction Steps

Create two ModuleScripts (a and b) and an ObjectValue, c

Set the value of c to the ModuleScript b.

Try to require the module b using the value of ObjectValue c

No typing information will be derived, and instead complains about an unknown require

Expected Behavior

I expect it to grab and load the typing information from the referenced module.

Actual Behavior

The referenced module is treated as unknown and raises an unknown module error.

In the rare case where the value is unknown at edit time, yeah, it should be complaining, however, since the module is directly linked at edit time, it should be generating type info from the module.

Issue Area: Studio
Issue Type: Other
Impact: Moderate
Frequency: Constantly

[thirdtakeonit]

Thanks for the report! We’ll investigate.

[idevride]

Thank you for reporting this, we identified the cause of this issue and it’s similar to this bug’s root cause:

Script editor should be able to access module type when using a table require path

It’s unlikely that this is going to be fixed any time soon. Module require dependencies are solved before typechecking is performed. This is similar how C++ #include dependencies are found without compiling C++ or Rust modules are looked up. Rust does have macros to get some flexibility on module references, but it’s like a second language on top. Not saying that Luau should be bad like C++ or Rust, but for context on how these complications come in when dealing with dependencies. We have s…

Please let us know if you have any questions regarding this.