Function rustc_borrowck::region_infer::opaque_types::check_opaque_type_parameter_valid

source · 
fn check_opaque_type_parameter_valid<'tcx>(
    tcx: TyCtxt<'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.