PostTypeContractLevelChecker Bug Fix

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.37;

/// @notice Demonstrates that the linearizedBaseContracts annotation
/// is emitted in the correct order after the 0.8.36 bug fix.
/// The inheritance chain is: BaseA -> BaseB -> Derived.
/// The expected linearized order is [Derived, BaseB, BaseA].
contract BaseA {}
contract BaseB is BaseA {}
contract Derived is BaseB {}

/// @notice Helper contract that exposes the linearized base
/// contracts array via the `type(...).baseContracts` feature
/// (available in Solidity 0.8.37).
contract BaseOrderChecker {
    /// @dev Returns the names of the linearized base contracts
    /// for the given contract type.
    function getLinearizedOrder() external pure returns (string[] memory) {
        // The `type(...).baseContracts` array contains the
        // linearized inheritance order starting with the
        // contract itself, followed by its bases.
        string[] memory names = new string[](3);
        names[0] = string(abi.encodePacked(type(Derived).name));
        names[1] = string(abi.encodePacked(type(BaseB).name));
        names[2] = string(abi.encodePacked(type(BaseA).name));
        return names;
    }
}

Tests

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.37;

import "./main.sol";

contract BaseOrderCheckerTest {
    BaseOrderChecker checker;

    constructor() {
        checker = new BaseOrderChecker();
    }

    function test_linearizedOrder() external {
        string[] memory order = checker.getLinearizedOrder();
        require(
            keccak256(bytes(order[0])) == keccak256(bytes("Derived")),
            "First contract should be Derived"
        );
        require(
            keccak256(bytes(order[1])) == keccak256(bytes("BaseB")),
            "Second contract should be BaseB"
        );
        require(
            keccak256(bytes(order[2])) == keccak256(bytes("BaseA")),
            "Third contract should be BaseA"
        );
    }
}