Source position: pasresolver.pp line 1033
public TPasClassOrRecordScope.DefaultProperty : TPasProperty;