I have a test case in the sample classes you added...

# arrow

[raulraja]

I have a test case in the sample classes you added that shows a case with reified args and I was planning on hacking on it unless you have already started.
I did not want to send more requests your way unless you want to get more involved in the project, you have already done a lot for us figuring this out.

Provider: @implicit fun provideIntList(): List<Int> = listOf(1,2,3)
Consumer: inline fun <reified A> la(@implicit l: List<A>): List<A> = l
Expected: val lint: List<Int> = <http://target.la|target.la><Int>()