Updated Proposal: Revisiting Implicits

[kavedaa]

@odersky

• given TC { defs }
• given x: TC { defs }
• given TC = expr
• given x: TC = expr
• given [T]: TC { defs }
• given x[T]: TC { defs }
• given [T]: TC = expr
• given x[T]: TC = expr

I like the regularity of this system, but it seems to me that regularity is broken in (5) and (7), e.g. given [T]: TC { defs }. The normal usage of : is name: Type, but here there is no name, only a type parameter. Why is the : there in these variants?