Module rustc_middle::traits

source ·
Expand description

Trait Resolution. See the rustc dev guide for more information on how this works.

Re-exports§

Modules§

  • Experimental types for the trait query interface. The methods defined in this module are all based on canonicalization, which makes a canonical query by replacing unbound inference variables and regions, so that results can be reused more broadly. The providers for the queries defined here can be found in rustc_traits.
  • Candidate selection. See the rustc dev guide for more information on how this works.

Structs§

Enums§

Type Aliases§

  • When performing resolution, it is typically the case that there can be one of three outcomes: