{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"#[note(borrowck_could_not_normalize)]"}]}
    #[note(borrowck_could_not_normalize)]
    CouldNotProve { predicate: String },
    CouldNotNormalize { value: String },