Commit 65721691 (Improve inference with linear types, !4632 (closed)) fixed the bug.
Closes #18736 (closed).