syntax_data: {"ast_node_type":"struct","tokens":[{"end":55,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet: pub struct SolverRelating<'infcx, Infcx, I: Interner> {
context_before: /// Enforce that `a` is equal to or a subtype of `b`.
context_after:     infcx: &'infcx Infcx,