When the Type Provider produces the structs for each element, information about the contents of the edit-time data's field's types could be saved in some fashion. Later, when the auto-complete displays attribute names, it could also display the types that the edit-time file found associated with those fields.
This could be a little tricky if values of different types are found for the same attribute names within different elements of the same name. (This is not a contract violation.) This should be resolved by displaying up to two* types found for that field, or "many-types" for more.
Example:
name : string
salaried : boolean
hired : string or boolean
extra_info : many-types
content : element
When the Type Provider produces the structs for each element, information about the contents of the edit-time data's field's types could be saved in some fashion. Later, when the auto-complete displays attribute names, it could also display the types that the edit-time file found associated with those fields.
This could be a little tricky if values of different types are found for the same attribute names within different elements of the same name. (This is not a contract violation.) This should be resolved by displaying up to two* types found for that field, or "many-types" for more.
Example: