scala3
scala3 copied to clipboard
Fix/18681 unreduced summon from fallback
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.