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