Type resolution should not skip any required operations.