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