{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"Normalized"}]}
        Normalized { value, obligations: self.obligations }
    pub fn with<U>(self, value: U) -> Normalized<'tcx, U> {
    }