{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
    // We don't want to overly constrain the predicates that may be written but we want to
    // Check that trait predicates are WF when params are instantiated with their defaults.
    // catch cases where a default my never be applied such as `struct Foo<T: Copy = String>`.