{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"impl<'tcx,"}]}
impl<'tcx, T: Copy + fmt::Display + TypeFoldable<TyCtxt<'tcx>> + 'tcx> ToUniverseInfo<'tcx>
    for CanonicalTypeOpNormalizeGoal<'tcx, T>