syntax_data: {"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// so e.g. when checking whether `&'_ (): Trait<_>` holds, we canonicalize that to
context_before:     /// For canonical queries, we replace inference variables with bound variables,
context_after:     /// `for<'a, T> &'a (): Trait<T>` and then convert the introduced bound variables