fn nonnull_pointee_alignment<'tcx>( tcx: TyCtxt<'tcx>, caller: DefId, dest: Option<Local>, ) -> Option<(u64, String)>