Wire.h library not up to date for Teensy 3.2

Here is my code:

    The teensy samples an AS5600 encoder (i2c) position periodically, 
    recorded via serial to PC
    connections:
    as5600 -- teensy 3.2
    5V ------- 3V3
    3V ------- 3V3
    GND ------ GND
    SCL ------ 19/A5/SCL0 (4.7k pullup)
    SDA ------ 18/A5/SDA0 (4.7k pullup)
    DIR ------ (4.7k pullup)

#include <Arduino.h>
#include "AS5600.h"
#include "Wire.h"

AS5600 as5600;   //  use default Wire


//pins
const int buttonPin = 3;

void setup() {

  //button pin pullup
  pinMode(buttonPin, INPUT_PULLUP);

  //initialize encoder
  // Wire.begin(I2C_SDA, I2C_SCL);
  Wire.begin(18, 19);
  as5600.begin();

  //start serial
  Serial.begin(115200);
  Serial.println("Waiting for user to push button");

  //wait for button push
  while (digitalRead(buttonPin)) {}
}

void loop() {
  Serial.println(as5600.rawAngle());

}

Here is my platformio.ini

[env:teensy31]
platform = teensy
board = teensy31
framework = arduino
lib_deps = 
    robtillaart/AS5600@^0.4.0
    Wire
lib_archive = false
monitor_port = COM3
monitor_speed = 115200

I get the following error:

Compiling .pio\build\teensy31\FrameworkArduino\EventResponder.cpp.o
src\main.cpp: In function 'void setup()':
Compiling .pio\build\teensy31\FrameworkArduino\HardwareSerial.cpp.o
src\main.cpp:35:13: error: no matching function for call to 'TwoWire::begin(
Compiling .pio\build\teensy31\FrameworkArduino\HardwareSerial1.cpp.o
   35 |   Wire.begin(18, 19);
      |   ~~~~~~~~~~^~~~~~~~
In file included from C:\Users\x\.platformio\packages\framework-arduinotee
                 from .pio\libdeps\teensy31\AS5600/AS5600.h:12,
                 from src\main.cpp:18:
C:\Users\x\.platformio\packages\framework-arduinoteensy\libraries\Wire/Wir
  104 |         void begin();
      |              ^~~~~
C:\Users\x\.platformio\packages\framework-arduinoteensy\libraries\Wire/Wir
C:\Users\x\.platformio\packages\framework-arduinoteensy\libraries\Wire/Wir
  105 |         void begin(uint8_t address);
      |              ^~~~~
C:\Users\x\.platformio\packages\framework-arduinoteensy\libraries\Wire/Wir
C:\Users\x\.platformio\packages\framework-arduinoteensy\libraries\Wire/Wir
  106 |         void begin(int address) {
      |              ^~~~~
C:\Users\x\.platformio\packages\framework-arduinoteensy\libraries\Wire/Wir
*** [.pio\build\teensy31\src\main.cpp.o] Error 1

The latest Teensyduino core version supported by PlatformIO is 1.58 (Releases · platformio/platform-teensy · GitHub).

The latest available Teensyduino version from the manufacturer is also 1.58 (Teensyduino: Download and Install Teensy support into the Arduino IDE).

So, I don’t see a problem. Are you sure your platform-teensy is up-to-date?

CLI

pio pkg update -g -p teensy