syntax_data: {"ast_node_type":"function","tokens":[{"end":28,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet:     pub fn empty() -> Self {
context_before: impl<I: Interner> NestedNormalizationGoals<I> {
context_after:         NestedNormalizationGoals(vec![])