This one seems fixed. Reporter suggests it can be closed: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25267 <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25267>
This seems no longer relevant; I believe it's a candidate for closure: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25700 <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25700> I posed a test (using “pass-if”) for this and seems to work on guile-2.1.7. Suggest maybe add test to test-suite and close: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22901 <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22901>