syntax_data: {"ast_node_type":"impl","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// If polarity is Negative: we are proving that a negative impl of this trait
context_before:     ///
context_after:     /// exists. (Note that coherence also checks whether negative impls of supertraits