Unnecessary as-pattern.