{"ast_node_type":"variable","tokens":[{"end":27,"kind":"keyword","start":0,"text":"let"}]}
        let tcx = self.tcx;
    ) -> Result<(), TypeError<'tcx>> {
        // Ideally, we'd get the span where *this specific `ty` came