I don't understand why there is a discussion on trying to special-case ref parameters. There's nothing special about ref parameters... what's special is ref _returns_. Therefore all we need to do is disallow ref returns in @safe code.