Inactive HoleEdit shows inferred val