Function adt_from_receiver_ty 

fn adt_from_receiver_ty<'tcx>(
    ty: Ty<'tcx>,
) -> Option<(DefId, GenericArgsRef<'tcx>)>