{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
    // We can't perform these checks in `resolve_bound_vars` either for the same reason.
    // because this information depends on *type* resolution.
    // Consider the trait ref `for<'a> Trait<'a, C = { &0 }>`. We need to know the fully