> > Will you accept or reject > > > > val x = ref nil > > I will reject it - due to value-restriction (and the truly "closing closure"). What prevents the type inference from assigning x the type "int list ref", which has no type variables? I don't see how closure can come into play here.