A repro for a bug in R# 6