rustc_
trait_
selection
1.83.0-beta.6
(4ff8ff0ec 2024-11-16)
Module sub_
relations
Module Items
Structs
In rustc_
trait_
selection::
error_
reporting::
infer
rustc_trait_selection
::
error_reporting
::
infer
Module
sub_relations
Copy item path
source
Structs
ยง
SubId
๐
SubRelations
When reporting ambiguity errors, we sometimes want to treat all inference vars which are subtypes of each others as if they are equal. For this case we compute the transitive closure of our subtype obligations here.