// Code generated by convertFourslash; DO NOT EDIT.
// To modify this test, run "npm run makemanual documentHighlightAtInheritedProperties5"

package fourslash_test

import (
	"testing"

	"github.com/microsoft/typescript-go/internal/fourslash"
	. "github.com/microsoft/typescript-go/internal/fourslash/tests/util"
	"github.com/microsoft/typescript-go/internal/testutil"
)

func TestDocumentHighlightAtInheritedProperties5(t *testing.T) {
	fourslash.SkipIfFailing(t)
	t.Parallel()
	defer testutil.RecoverAndFail(t, "Panic on fourslash test")
	const content = `// @Filename: file1.ts
interface C extends D {
    [|prop0|]: string;
    [|prop1|]: number;
}

interface D extends C {
    [|prop0|]: string;
    [|prop1|]: number;
}

var d: D;
d.[|prop1|];`
	f, done := fourslash.NewFourslash(t, nil /*capabilities*/, content)
	defer done()
	f.VerifyBaselineDocumentHighlights(t, nil /*preferences*/, ToAny(f.Ranges())...)
}