module proc f() return proc g() begin f := g (* @Error Cannot assign to a value of type 'proc\(\)', because it is constant or contains constant members *) return end.