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