scala3 icon indicating copy to clipboard operation
scala3 copied to clipboard

Fix/18681 unreduced summon from fallback

Open i10416 opened this issue 1 year ago • 0 comments

fix https://github.com/lampepfl/dotty/issues/18681

This commit fixes the reporting issue where un-reduced summonFrom does not fallback to implicitNotFound.

Before this commit, reduceInlineMatch discarded the information from implicit search in InlineReducer.

See https://github.com/lampepfl/dotty/pull/19490/files#diff-b34b7edb06dcd7e56dac607175a9519e98d79473371201ad3c750613db3a8579R207-R213

This commit adds some changes so that the error message from implicit search failure can propagate to Inliner#typedMatchFinish to emit better error message.

i10416 avatar Jan 19 '24 15:01 i10416