Open
Description
The phrase "has an interface dependency [...] prior to X" appears in [module.reach]p1 and [basic.start.dynamic]p1, but isn't defined. Per [module.import]p7, "has an interface dependency on" is a relation between translation units, with no associated "location" to be prior to.
It's obvious what it means: the interface dependency is caused by some construct (in this case, a module-declaration or module-import-declaration) that appears prior to X. But we should say that!
Metadata
Metadata
Assignees
Labels
No labels