{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
        let (def_id, args) = match *expected_ty.kind() {
        let expected_ty = expectation.to_option(self)?;
            // FIXME: Could also check that the RPIT is not defined