flowchart TB
    A[Add Clause::ConstHasType]
    B[Make Const's ty field assertion in relate use semantic equality]
    C[Typecheck anon consts in parent]
    D[Fully implement and rename `AliasTy` as `AliasTerm`]
    E[Support forward declared const param types]
    F[Remove Const's ty field]
    G[Remove WithOptConstParam in favor of query feeding]
    H[Support normalization of const projections]
    I[Add ability to evaluate `ConstKind::Expr`]
    J[Before evaluating consts check the `ParamEnv` holds]
    K[Support ADT construction in gce/mgce as if it was injective]
    L[Do not relate non-injective substs of Consts]
    N[Add a ConstParamType trait that is explicitly implemented for const param types]
    O[Require const params to be Sized or make it possible to have !Sized arguments]
    P[Figure out what to do about evaluatable bounds]
    Q[Higher ranked equality should agree with TypeId]
    R[Allow const arguments to omit braces if they are paths]
    S[Ensure `ConstKind::Expr` arguments are `ConstParamTy`]
    T[Introduce Opaque constants similar to Opaque types]
    U["Print out ConstKind::Expr better than just [const expr]"]
    V[Implement ConstEquate and ConstEvaluatable in new solver]
    W["Don't call expand_abstract_consts in super_relate_consts"]
    X[Document in dev guide how const arguments types are checked]
    Y[Document in dev guide how we typecheck anon consts]
    Z[Split up `type_of` query into different queries for each purpose it serves]
    
    subgraph min_generic_const_exprs
    H
    J
    K
    L
    P
    Q
    R
    T
    V
    W
    end

    subgraph generic_const_exprs
    I
    S
    U
    end
    
    subgraph adt_const_params
        direction LR
        N
        O
    end

    subgraph misc_cleanup
    direction LR
    G --> X
    A --> X
    A --> F
    Z
    D
    end    

    subgraph generic_const_param_types
    direction TB
    B --> E
    E --> C
    C --> Y
    end

    misc_cleanup --> min_generic_const_exprs
    misc_cleanup --> generic_const_param_types
    adt_const_params-->generic_const_param_types
    generic_const_param_types-->generic_const_exprs
    min_generic_const_exprs-->generic_const_exprs