Skip to content

Conversation

@414owen
Copy link

@414owen 414owen commented Dec 25, 2025

When I first read this, it sounded like the problem was 'assigning Type to Type', but the problem is really 'making the type of Type equal to Type'.

I think this can be made clearer by saying 'the type of Type'.

When I first read this, it sounded like the problem was
'assigning Type to Type', but the problem is really
'making the type of Type equal to Type'.

I think this can be made clearer by saying 'the type *of* Type'.
@david-christiansen
Copy link
Collaborator

I can see why this is confusing, but I think that the new phrasing is ambiguous - my initial interpretation is that it's talking about assigning Type 1 (which is the type of Type) to Type, which is OK.

I'll think about it a bit more.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants