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