Combination ref struct and ref parameter causes type constraint IL verification errors

[mikernet]

Description

Combination of ref struct and ref parameters causes validation to fail for the code below. Making BinaryReader a normal non-ref struct or making the parameters non-ref causes the validation error to go away.

Reproduction Steps

Sharplab link

ref struct BinaryReader {}

static class IntProcessor
{
    public static void Read(ref BinaryReader reader)
    {
    }
}

public static class Program {
    public static void Main() {
        BinaryReader reader = new();
        IntProcessor.Read(ref reader);
    }
}

Configuration

.NET 8.0.0