↓これはいけるんです。この場合は ArraySlice 優先。 1> [""].prefix(3) $R0: ArraySlice<String> = 1 value { [0] = "" }