syntax_data: {"ast_node_type":"other","tokens":[{"end":102,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                 // only generic parameters, and thus instantiating would not give us more information.
context_before:                 // We use identity args here, because we already know that the opaque type uses
context_after:                 for (pred, span) in