syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:     // Proving `Sized`/`MetaSized`, very often on "obviously sized" types like
context_before: ) -> bool {
context_after:     // `&T`, accounts for about 60% percentage of the predicates we have to prove. No need to