Lowering для foreach

Такой код

foreach var x in l do
  Print(x);

заменяется на

var a: IEnumerable<yield_unknown_foreach_type> := l;
  
var en := a.GetEnumerator();
while en.MoveNext do
begin
  var curr := en.Current;
  Print(curr);
end;

на синтаксическом уровне.

После этого генератор yield преобразует синтаксическое дерево так, что строка:

var a: IEnumerable<yield_unknown_foreach_type> := l;

преобразуется в

// поле специального класса
a: IEnumerable<yield_unknown_foreach_type>
...
// оператор в методе MoveNext этого класса
a := l;

Основная идея

Основная идея автоопределния типа в yield - ввести семантический тип auto_type, который перевычисляется при первом присваивании переменной этого типа

Для IEnumerable<yield_unknown_foreach_type> она трансформируется следующим образом: yield_unknown_foreach_type на семантике преобразуется в ienumerable_auto_type. При обработке присваивания на семантике если тип в левой части - IEnumerable<ienumerable_auto_type>, то он преобразуется к типу правой части в момент первого присваивания (это произойдёт в теле метода MoveNext())

Реализация в syntax_tree_visitor.cs

Так вот, yield_unknown_foreach_type при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a. Таким образом, в syntax_tree_visitor.cs в

public override void visit(SyntaxTree.assign _assign)

будет код, аналогичный автоопределению типа в момент первого присваивания для переменных типа auto_type:

public override void visit(SyntaxTree.assign _assign)
{
  ...
  if (to.type is auto_type)
  {
    if (to is class_field_reference)
    {
      var cfr = to as class_field_reference;
      cfr.field.type = from.type;
    }
    else if (to is local_block_variable_reference)
    {
      var lvr = to as local_block_variable_reference;
      lvr.var.type = from.type;
    }
    else AddError(to.location, "Не могу вывести тип при наличии yield: "+ to.type.full_name);
    //to.type = from.type; // и без всякого real_type!
  }