Template constraints and opAdd

[anonymous]

On Monday, 1 July 2013 at 23:36:27 UTC, John wrote:
> struct Mass(T, S) {
> 	...
> 	
> 	Mass!(T,S) opAdd(Mass!(T,S) other) {

You can't overload non-templates with templates, yet. It's 
supposed to work, but not implemented. The workaround is simple 
enough:

Mass!(T,S) opAdd()(Mass!(T,S) other) { // note the () after opAdd

> 		return op!"+"(other);
> 	}
> 	
> 	Mass!(O,S) opAdd(O)(Mass!(O,S) other) if (typeof(O) != 
> typeof(T)) {

That constraint should be: if (!is(O == T))

> 		return op!"+"(other);
> 	}
> ...
> }