[NotNull Values]
8 	<bold>val x</bold> = "".extensionFun() (in foo())
8 		<bold>val x</bold> = "".extensionFun() (in foo())
