noSelfType doesn't have a symbol