# bug: conflicting `ctx` types allowed at compile time