Function rustc_borrowck::region_infer::opaque_types::check_opaque_type_parameter_valid

fn check_opaque_type_parameter_valid(
    tcx: TyCtxt<'_>, 
    opaque_type_key: OpaqueTypeKey<'_>, 
    decl: OpaqueTypeDecl<'_>
) -> bool