Electronic device and method for manufacturing structure for electronic device