Support for generic types with operator overload methods

[CREAsTIVE]

It will be impossible to explicitly specify types (a +<int> b looks strange), but auto-detection of types for generics will help in this situation

For example:

public class SomeClass<T>
{
	// ...
	public SomeClass<T> with<T2>(T2 other)  => ...;
	public static SomeClass<T> operator +<T2>(SomeClass<T> a, T2 b) => a.with<T2>(b);
}

// usage:

var a = new SomeClass<int>();

a += 5;
// same as
a = a.with<int>(5);

At the moment, such a construction produces a compilation error

[colejohnson66]

#612