{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        format!("type `{}` is non-empty", scrut_ty.display(cx.db, display_target))
        let pat_display = |witness| DisplayWitness(witness, cx, display_target);