syntax_data: {"ast_node_type":"impl","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// These bounds are lowered from `impl Trait` in bindings.
context_before:     /// A user type annotation with additional bounds that need to be enforced.
context_after:     pub fn new_with_bounds(kind: UserTypeKind<'tcx>, bounds: ty::Clauses<'tcx>) -> UserType<'tcx> {