An annotation used internally to mark a function type that was converted to a dependent function type during setup of inferred types. Such function types should not map roots to result variables.