diff options
| author |  wuestholz <unknown> | 2013-07-23 10:28:04 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-23 10:28:04 -0700 |
| commit | 34ff60de0ab0a05c85e6af50ed6d1a93805e040b (patch) | |
| tree | 5454c3e0fe828a456facba4e5a86607ee27ca9e7 /Source/Core | |
| parent | 4be2ab852c127558c04119958fd0b462ff2e6493 (diff) | |
Did some refactoring.
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/AbsyType.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Core/AbsyType.cs b/Source/Core/AbsyType.cs index 911062a7..94d3277c 100644 --- a/Source/Core/AbsyType.cs +++ b/Source/Core/AbsyType.cs @@ -3317,7 +3317,6 @@ Contract.Assert(var != null); private bool collisionsPossible(IDictionary<TypeVariable/*!*/, Type/*!*/>/*!*/ subst) {
Contract.Requires(cce.NonNullDictionaryAndValues(subst));
// PR: could be written more efficiently
- // return Contract.Exists(0, TypeParameters.Count, i => subst.ContainsKey(TypeParameters[i]) || Contract.Exists(subst.Values, t => t.FreeVariables.Contains(TypeParameters[i])));
return TypeParameters.Any(param => subst.ContainsKey(param) || subst.Values.Any(val => val.FreeVariables.Contains(param)));
}
|