Compiler upgrade checks are more lax than participant checks for typecon references
Closed this issue · 2 comments
dylant-da commented
Currently the compiler ignores package IDs and doesn't do checks between package dependencies, so it only checks typecon names for equivalence in types. This makes it more permissive than the participant, which does check.