It seems digitalPinToPinName() is slightly broken on Generic F411CEUx. Version 2.11.0 on Arduino 2.3.5 on Mac.
Also on BlackPill FC411CE
Serial.println(PB_13_ALT1); returns 285
Serial.println(digitalPinToPinName(PB_13_ALT1)); returns 286
Discovered the problem trying to do:
SPIClass SPI_4(PA1, PA11, PB_13_ALT1);