1 Commits

Author	SHA1	Message	Date
Anna Kozlova	5136167d8b	new inference: use site substitution inside one level of inference only so calls with different site substitutions are possible in one expression (IDEA-131723; IDEA-131562)	2014-10-24 18:36:20 +02:00