syntax_data: {"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"AliasBoundConstCondition,"}]}
source_snippet:     AliasBoundConstCondition,
context_before:     /// Const conditions that need to hold for `[const]` alias bounds to hold.
context_after:     /// Instantiating a higher-ranked goal and re-proving it.