Shared via Pony Playground (https://playground.ponylang.io/?gist=ceac6696aa54db03ca8c2d05a1748ed5)

main.pony

trait SomeTrait

	fun getVal() : U32 =>

		2


class SomeClass


class Some is SomeTrait

	// works, if ` = SomeClass` is uncommented:
	embed eClass : SomeClass // = SomeClass

	new create( env' : Env) =>

		// // works, if line below is uncommented:
		// eClass = SomeClass

		getVal()

		// doesnt work, if line below is uncommented:
		eClass = SomeClass


actor Main
	new create( e' : Env) =>
		e'