{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"//"}]}
                    // the user.
                    // Try to convert the lower-bound region into something named we can print for
                    let lower_bound_region = self.to_error_region(type_test.lower_bound);