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