rustc_borrowck::region_infer::opaque_types

Function check_opaque_type_parameter_valid

Source 
fn check_opaque_type_parameter_valid<'tcx>(
    infcx: &InferCtxt<'tcx>,
    opaque_type_key: OpaqueTypeKey<'tcx>,
    span: Span,
) -> Result<(), ErrorGuaranteed>
Expand description

Opaque type parameter validity check as documented in the rustc-dev-guide chapter.