Нет, это не так. Если ваш метод Foo создает типы значений , они расположены в стеке и, таким образом, очищаются при разматывании стека. Если вы создадите ссылочных типов , ваша ссылка на эти экземпляры выйдет из области видимости при выходе из метода, и поэтому экземпляры будут доступны для сборки мусора.