[cwzwarich]

> Bigger problem is value type generics/const generics

How does Rust solve the ambiguities with const generics?

[monocasa]

The ambiguous const generics have to be surrounded by { }:

  fn function<T, { ambigous const generic expression }>(arg1: T) -> T {

[unlinked_dll]

I believe the current proposal (partially supported on nightly) is to require expressions in generic arguments to be enclosed in {}

[chrismorgan]

The expression must be wrapped in curly braces: Type<{ expression }>