gcc/ada/
	* sem_ch3.adb (Build_Derived_Record_Type): Accept statically matching
	constraint expressions.

    gcc/testsuite/
	* gnat.dg/specs/statically_matching.ads: New.

From-SVN: r135230