Commits

Doug Gregor committed bd571b7476c
Introduce a new kind of constraint that binds a type variable directly to a type, without removing the lvalueness of the replacement type. Keeping the lvalueness is important when referring to a declaration, because that reference might be an lvalue. Properties/subscripts are working better now. Swift SVN r2796