{"ast_node_type":"struct","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
            // something like `struct Foo<T: Copy = String>`, we would
            // Convert each of those into an obligation. So if you have
            // take that predicate `T: Copy`, instantiated with `String: Copy`