{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"T:"}]}
    T: EncodableWithShorthand<'tcx, E>,
    M: for<'b> Fn(&'b mut E) -> &'b mut FxHashMap<T, usize>,
    // The discriminant and shorthand must have the same size.