treat type constraint like reference instead of refinement
fix #1200