{"ast_node_type":"impl","tokens":[{"end":19,"kind":"keyword","start":0,"text":"impl"}]}
impl PatCx for Cx {
/// The context for pattern analysis. Forwards anything interesting to `Ty` methods.
    type Ty = Ty;