{"ast_node_type":"import","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
        // because in that case we need to upcast. I.e., we want to produce
        // This is somewhat subtle in the event that `T` is defined in a supertrait of `Trait`,
        // `<B as SuperTrait<i32>>::T == X` for `B: SubTrait<T = X>` where