Function is_strict_ty_convert 

pub fn is_strict_ty_convert<'tcx>(
    tcx: TyCtxt<'tcx>,
    src_ty: Ty<'tcx>,
    dst_ty: Ty<'tcx>,
) -> bool