Function rustc_borrowck::region_infer::opaque_types::check_opaque_type_parameter_valid

fn check_opaque_type_parameter_valid(
    tcx: TyCtxt<'_>,
    opaque_type_key: OpaqueTypeKey<'_>,
    origin: OpaqueTyOrigin,
    span: Span
) -> Result<(), ErrorGuaranteed>