fn is_nonnull_destination<'tcx>( tcx: TyCtxt<'tcx>, caller: DefId, destination: Option<Local>, ) -> bool