inline val class parameter in backend

[nicolasstucki]

class Foo(inline val i: Int)

emits the following error

Concrete method has no definition: Concrete method has no definition: DefDef(i,List(),List(List()),TypeTree[TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Int)],EmptyTree)
one error found

[smarter]

I don't think this should compile at all.

[nicolasstucki]

I assume that inline should never be used in a class parameter as we cannot ensure that accesses to those field are inlined. @odersky is that the correct semantics.

[allanrenucci]

Should class Foo(inline i: Int) be allowed?

[biboudis]

I think not. It is not allowed either. WDYT?

[nicolasstucki]

They should not. There is no way to inline the value of i in any of the references of i.

[allanrenucci]

Should inline on secondary constructor parameters be rejected too?

[nicolasstucki]

Yes, unless the secondary constructor is inlinable. Can it?