rustc_trait_selection::opaque_types

Function check_opaque_type_parameter_valid

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

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