wip: fix: keep implicit modifiers in reflective proxies#4075

Closed

I-Al-Istannen wants to merge 2 commits intoINRIA:masterfrom I-Al-Istannen:fix/implicit-modifiers-reflective-proxy

+31-12

Commits on Oct 6, 2021