Update list-patterns-enumerables.md

[alrz]

Rendered

[alrz]

cc @jcouv @333fred

[333fred]

@alrz what's the reason for the large amount of removals?

[alrz]

Because we no longer need to deal with trailing patterns for enumerable types.

I confirmed with Julien if we want to do that, at least initially.

[alrz]

I tried to keep things that are still relevant. Let me know if there's other things you'd like to keep.

[333fred]

Because we no longer need to deal with trailing patterns for enumerable types.

I'm not sure what you mean by this?

[alrz]

To not depend on the impl details, I think the compiler could only generate a typeclass for struct-enumerators by implementing:

interface Iterator<TSelf, T> {
  static abstract bool MoveNext(TSelf);
  static abstract T GetCurrent(TSelf);
}

and pass it on to the helper fucntion as a type argument.

A different overload could be used for IEnumerator<T> so we don't need to generate additional code for the base scenario.