{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"return"}]}
            return Some(Choice::new(
            // - if the item is already in scope, return the name under which it is
                ctx.cfg.prefer_prelude,