`NewType` inlay hint is not a valid annotation

[KotlinIsland]

Describe the Bug

from typing import NewType

N = NewType("N", int)
x = N
x.__name__

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0A5GAHcAKsxgAddNIF0AvIJHjiMABSSQAzQBpO6BgEpp%2BBYJOEA%2BpfSoaMa9OkgdIAK4NocEuUQgAxHQAqp5QEEx0YG7oAMaeuOhwTlgwYJG8NKgMNm402DCUaviI%2BkZ0ALQAfHRwDJSI0nRNdJQwDG6U6JGaArn59XTA%2BAC%2Bms6uZK1gUKSEDLRQFIEACqRTMzUYOAR0MQmQbB1ZEAmE0oEAyjAwdAAWDAzEcIgA9C%2BTqTOEvGwvMOgvTC4GJwF57dAHI7xAHpSh0VAAN1Q0FQ2Fgu32EEOlGOCTouGI0O80jIDFuCXKCIKcBOXUUmgAzIQAIwAJjG6AA2gVqJQ4ABdaTRLg8PgwTDlTAQVpxCBUswAcix6F4MAV0hVDHKrQAjm5peLygBrGCkcqoGIxeBwRXCVCddXoEDDVwWzxUgBi0BgFDQWDwRDIzqAA

(Only applicable for extension issues) IDE Information

No response

[yangdanny97]

What should the hint be?

[KotlinIsland]

What should the hint be?

(<sig>) -> N probably

[yangdanny97]

Oh, i see,showing the signature of the synthesized constructor

[KotlinIsland]

Oh, i see,showing the signature of the synthesized constructor

sure, but i think technically it is not a synthesized constructor, it's just the constructor of the underlying class. NewTypes aren't actually types, they are more like opaque type aliases

[yangdanny97]

Yeah, this is an interesting case. For normal classes we show type[T] because that's a legal annotation (so double clicking it would insert valid type hint but double clicking the constructor signature would not) but for NewType type[N] is not a legal annotation.