pub(crate) fn infer_type_if_missing<'tcx>( fcx: &FnCtxt<'_, 'tcx>, node: Node<'tcx>, ) -> Option<Ty<'tcx>>