{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
        let type_test = self.verify_to_type_test(kind, a, bound);
        let bound = self.replace_placeholders_with_nll(bound);
        self.add_type_test(type_test);