Repository navigation
[diagnostics]: inaccurate warning messages regarding incompatible verions #5863
Description
Description
See the discussion here. For the spec below, the diagnostic message will be like 'TestService.{ param: TestService.Foo }.param' is referencing versioned type 'TestService.Foo' but is not versioned itself.. However, the more accurate message should use TestService.test::parameters.param, instead of TestService.{ param: TestService.Foo }.param.
namespace TestService;
@added(Versions.v2)
model Foo {}
op test(param: Foo): void;Reacted by Copilot
Activity
timotheeguerin commentedon Feb 5, 2025
I think the underlying issue here is that the parameter model expression doesn't have a reference back to the containing operation. I thought we had an issue to discuss finding a way to resolve the "parent" of a type but I can't seem to find it
Report operation parameters as `op::parameters` in type names (micros…