[Bug 1319249] New: incorrect use of Requires(pre)?