参照の型を途中で変更するとエラーになる。

gistfile1.hpp

#include <iostream>

int &foo()
{
  static int foo_ = 0;
  return foo_;
}

int &bar()
{
  return foo();
}

unsigned int &baz()
{
  return foo();
}

int main()
{
  foo() = 10;
  bar() = 20;
  baz() = 30;
  return 0;
}

// a.cpp: In function `unsigned int& baz()':
// a.cpp:16: error: invalid initialization of reference of type 'unsigned int&' from expression of type 'int'