Bugfix rewrite_with_to_field_symbols#4832

Merged

tautschnig merged 1 commit intodiffblue:developfrom

romainbrenguier:clean-up/rewrite-with-to-field-symbols-1

Jan 20, 2021

Commits on Jan 20, 2021

Fix discarding of field_sensitivity::apply result
romainbrenguier
committed