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

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

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

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