syntax_data: {"ast_node_type":"variable","tokens":[{"end":39,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:         let param_env = self.param_env;
context_before:         let cause = self.cause(ObligationCauseCode::WellFormed(None));
context_after:         let depth = self.recursion_depth;