"zero devices out of (Position(1) && DoublePrecision)" would be the desired behavior if Bar is single precision only - in that case, examples/benchmark would just report single precision results.  You've got a somewhat compelling (even if deprecated) use case for position-at-end-of-chain too, though, so I won't argue.