[Issue 2295] automatically covariant types

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=2295





------- Comment #3 from shro8822 at vandals.uidaho.edu  2008-08-19 18:25 -------

based on that, you might as well allow this:

class A
{
  this Boo(){return;} // this return type always returns this
}
class B{}
auto b = (new B).Boo; // type is B value is "this"


--