I disagree. Disallowing this particular case doesn't make it inconsistent, it just disallows an edge case which certainly not what the person wanted to express. Yes it does not cover non-literal cases, which may in the worst case lead to a false sense of security. And yes, I think we should change to Scala semantics for options in the long run. The best we can do for now without changing the semantics is disallow this case which is almost certainly a bug.