message: Store fat pointers in ssa variables
diff: @@ -76,6 +76,13 @@ fn clif_pair_type_from_ty<'tcx>(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> Option<(type
  clif_type_from_ty(tcx, types.next().unwrap())?,
  )
  }
  + ty::RawPtr(TypeAndMut { ty: pointee_ty, mutbl: _ }) | ty::Ref(_, pointee_ty, _) => {
  + if has_ptr_meta(tcx, pointee_ty) {
  + (pointer_ty(tcx), pointer_ty(tcx))
  + } else {
  + return None
  + }
  + }
  _ => return None,
  })
  }
  