anchor.diff:                      interface IGetEssenceOfComparerType with
                           member __.Get () = func.GetType ()
   
  -            let inline GenericComparisonWithERIntrinsic_inline (comp:System.Collections.IComparer) (x:'T) (y:'T) : int = 
  -                GenericSpecializeCompareTo.Function<EquivalenceRelation,_>.Func.Ensorcel (comp, x, y)            
  -
               /// Compare two values of the same generic type, using "comp".
               //
               // "comp" is assumed to be either fsComparerPER or fsComparerER (and hence 'Compare' is implemented via 'GenericCompare').
  
positive.code:                         Specializations.FlaconOfComparer<'a, 'comp>.Instance.Ensorcel (fsComparerER, x, y)
  
              let makeEqualityComparer (ty:Type) =
                  let eq = (TupleEquality.getEssenceOfEqualsType ty)
                  let ghc = (TupleEquality.getEssenceOfGetHashCodeType ty)
                  let equalityComparerDef = typedefof<EssenceOfEqualityComparer<int,Specializations.EqualsTypes.Int32,Specializations.GetHashCodeTypes.Int32>>
                  let equalityComparer = equalityComparerDef.MakeGenericType [| ty; eq; ghc |]
                  Activator.CreateInstance equalityComparer
  
              let makeComparer (ty:Type) =
                  let comp = (TupleComparers.getEssenceOfCompareToType ty)
                  let comparerDef = typedefof<EssenceOfComparer<int,Specializations.ComparerTypes.Int32>>
                  let comparer = comparerDef.MakeGenericType [| ty; comp |]
                  Activator.CreateInstance comparer
  
negative.code:             // NOTE: The compiler optimizer is aware of this function (see uses of generic_hash_withc_inner_vref in opt.fs)
              // and devirtualizes calls to it based on type "T".
              let GenericHashWithComparerIntrinsic<'T> (iec : System.Collections.IEqualityComparer) (x : 'T) : int =
                  eliminate_tail_call_int (GenericSpecializeHash.Function<_>.Func.Ensorcel (iec, x))
  
  
  
  