syntax_data: {"ast_node_type":"function","tokens":[{"end":34,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet: pub fn simplify_type<I: Interner>(
context_before: /// ¹ meaning that if the outermost layers are different, then the whole types are also different.
context_after:     cx: I,