Struct rustc_borrowck::region_infer::opaque_types::LazyOpaqueTyEnv

struct LazyOpaqueTyEnv<'tcx> {
    tcx: TyCtxt<'tcx>,
    def_id: LocalDefId,
    canonical_args: OnceCell<GenericArgsRef<'tcx>>,
}

Computes if an opaque type requires a lifetime parameter to be equal to another one or to the 'static lifetime. These requirements are derived from the explicit and implied bounds.

Fields

tcx: TyCtxt<'tcx>

def_id: LocalDefId

canonical_args: OnceCell<GenericArgsRef<'tcx>>

Equal parameters will have the same name. Computed Lazily. Example: type Opaque<'a: 'static, 'b: 'c, 'c: 'b> = impl Sized; Identity args: ['a, 'b, 'c] Canonical args: ['static, 'b, 'b]

Implementations

impl<'tcx> LazyOpaqueTyEnv<'tcx>

pub fn new(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> Self

pub fn param_equal_static(&self, param_index: usize) -> bool

pub fn params_equal(&self, param1: usize, param2: usize) -> bool

pub fn param_is_error(&self, param_index: usize) -> Result<(), ErrorGuaranteed>

fn get_canonical_args(&self) -> GenericArgsRef<'tcx>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 24 bytes