pub fn is_subtype<'tcx>(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    src: Ty<'tcx>,
    dest: Ty<'tcx>
) -> bool
Expand description

Returns whether src is a subtype of dest, i.e. src <: dest.

This mostly ignores opaque types as it can be used in constraining contexts while still computing the final underlying type.