Try_AsCast: if either type is not fully inferred assume it's okay - unless we're actually performing the cast