syntax_data: {"ast_node_type":"struct","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                 // Construct the nested `TailField<T>: Unsize<TailField<U>>` predicate.
context_after:                 let tail_unsize_obligation = obligation.with(