{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// Information about the expected type at the top level of type checking a pattern.
/// **NOTE:** This is only for use by diagnostics. Do NOT use for type checking logic!