Ah, I misread the feature list (namely the text right above the examples, about Module#include). Matsumoto gives two of the same examples, the first in how he

Ah, I misread the feature list (namely the text right above the examples, about Module#include). Matsumoto gives two of the same examples, the first in how he wants the feature to work (R2 having the refinements of R1 if it includes it) and the second in how it works at the moment (or doesn't work). If you try that code it breaks, he wants it to not break and return :bar.