syntax_data: {"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:     // The following constraints holds for the final arrangement.
context_before: ) -> ControlFlow<T> {
context_after:     // 1. The whole virtual table of the first direct super trait is included as the