distinct types with static[T] can't borrow #6026
Description
The following code snippet does not compile, while there is no particular reason not to.
type Amount[date: static[int]] = distinct float
proc `+`[T](x, y: Amount[T]): Amount[T] {. borrow .}