hm no it won't return true in the & branch, but I still don't think its worth caring about, maybe one can put an assert in there