1 /** 2 * Function with receiver 3 * @receiver must be a non-empty string 4 */ fnnull5 fun String.fn() { 6 } 7