Const parameters cannot depend on type parameters. The following is therefore invalid:
#![feature(const_generics)] fn const_id<T, const N: T>() -> T { // error N }