rustc_infer::infer::canonical::ir

Module outlives

Expand description

The outlives relation T: 'a or 'a: 'b. This code frequently refers to rules defined in RFC 1214 (OutlivesFooBar), so see that RFC for reference.

Enums§

Functions§