For PR #38056. cc @alexcrichton
For PR #38056.
cc @alexcrichton