syntax_data: {"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"if"}]}
source_snippet:             if let None = term.to_alias_term() {
context_before:         if self.infcx.next_trait_solver() {
context_after:                 return Ok(term);