-
Notifications
You must be signed in to change notification settings - Fork 550
Open
Labels
A-inferenceArea: type inferenceArea: type inferenceE-hardDifficulty: might require advanced knowledgeDifficulty: might require advanced knowledgeI-terseIssue: info is very terseIssue: info is very terseT-typesRelevant to types teamRelevant to types team
Description
generalization is a core - and subtle - part of type inference and currently not explained in the guide. We should change that. We should talk about equality in general, the current section only mentions how to use equality, but doesn't actually explain how it works https://rustc-dev-guide.rust-lang.org/type-inference.html?highlight=equate#enforcing-equality--subtyping
spastorino
Metadata
Metadata
Assignees
Labels
A-inferenceArea: type inferenceArea: type inferenceE-hardDifficulty: might require advanced knowledgeDifficulty: might require advanced knowledgeI-terseIssue: info is very terseIssue: info is very terseT-typesRelevant to types teamRelevant to types team