[Issue 13336] auto ref return deduced to be ref despite return value coercion

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13336

--- Comment #1 from Peter Alexander <peter.alexander.au at gmail.com> ---
You can break the type system using this:

class Animal {}
class Cat : Animal {}
class Dog : Animal {}

Animal animal;
Cat cat;

auto ref choose()
{
  return cat;
  return animal;
}

void main()
{
  import std.stdio;
  choose() = new Dog();
  writeln("cat is a ", typeid(cat));
}

Prints "cat is a Dog"

--