Compiled bindings are one of the main reasons to adopt AXSG. Instead of treating a binding path as opaque text, AXSG resolves the source context, validates member access, and emits generated code or generated runtime descriptors based on that semantic model.
Compiled binding analysis can validate:
x:DataType or explicit typed sourcesYou should think about compiled bindings as a language feature, not only a Text="{Binding Foo}" feature. AXSG uses the same semantic machinery for:
x:DataType is requiredAmbient x:DataType is still the normal way to establish source context. However, AXSG also supports cases where the source type is known through explicit source expressions such as typed parent/self forms. That distinction matters when you are reading diagnostics: missing ambient data type and unknown explicit source are different problems.
The language service reuses the compiler binding model for: