flux_refineck::checker

Function trait_impl_subtyping

Source 
pub(crate) fn trait_impl_subtyping<'genv, 'tcx>(
    genv: GlobalEnv<'genv, 'tcx>,
    def_id: LocalDefId,
    opts: InferOpts,
    span: Span,
) -> InferResult<Option<InferCtxtRoot<'genv, 'tcx>>>
Expand description

Trait subtyping check, which makes sure that the type for an impl method (def_id) is a subtype of the corresponding trait method.