pub fn func_of_term<'tcx>(
tcx: TyCtxt<'tcx>,
terminator: &Terminator<'tcx>,
) -> Option<(DefId, GenericArgsRef<'tcx>)>
pub fn func_of_term<'tcx>(
tcx: TyCtxt<'tcx>,
terminator: &Terminator<'tcx>,
) -> Option<(DefId, GenericArgsRef<'tcx>)>