fn resolved_function(gcx: Gcx<'_>, expr: &Expr<'_>) -> Option<FunctionId>
The function a bare expression names, as the type checker resolved it.