syntax_data: {"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:         let (cx, report) = self.analyze_binding(pat, Refutable, scrut)?;
context_before:     ) -> Result<RefutableFlag, ErrorGuaranteed> {
context_after:         // Report if the pattern is unreachable, which can only occur when the type is uninhabited.