Description

(I couldn't find a more descriptive title, feel free to change it)
When instantiating associated types with records, record update doesn't seem to work (at least in indirect uses). I think it should. If this is supposed to fail, then a more helpful error message might be very useful.